Here is another clue, please see:
df Dateisystem 1K-Blöcke Benutzt Verfügbar Verw% Eingehängt auf udev 8058456 0 8058456 0% /dev tmpfs 1618552 2620 1615932 1% /run /dev/nvme0n1p7 19046484 4556432 13497184 26% / /dev/mapper/nvme0n1p9_crypt 57342056 29104168 25292660 54% /usr tmpfs 8092744 1052 8091692 1% /dev/shm tmpfs 5120 8 5112 1% /run/lock shm 8092744 0 8092744 0% /run/shm tmp 8092744 4 8092740 1% /tmp /dev/nvme0n1p5 3764408 81732 3470964 3% /boot /dev/nvme0n1p1 98304 31927 66377 33% /efi /dev/mapper/nvme0n1p10_crypt 28644260 12378060 14785804 46% /var /dev/mapper/nvme0n1p8_crypt 152671760 116420552 28423140 81% /home tmpfs 1618548 188 1618360 1% /run/user/155 tmpfs 1618548 180 1618368 1% /run/user/0 But now take a look here: cat /proc/self/mounts | grep efi efivarfs /sys/firmware/efi/efivars efivarfs rw,nosuid,nodev,noexec,relatime 0 0 systemd-1 /efi autofs rw,relatime,fd=51,pgrp=1,timeout=120,minproto=5,maxproto=5,direct,pipe_ino=16732 0 0 /dev/nvme0n1p1 /boot/efi vfat rw,relatime,fmask=0077,dmask=0077,codepage=437,iocharset=ascii,shortname=mixed,utf8,errors=remount- ro 0 0 /dev/nvme0n1p1 /efi vfat rw,nosuid,nodev,noexec,relatime,nosymfollow,fmask=0077,dmask=0077,codepage=437,iocharset=ascii,shortname=mixed,utf8,errors=remount- ro 0 0 See, what I mean? /dev/nvme0n1p1 is mounted twice! But df does not show it! That looks strange for me. Hans