Filesystem              1K-blocks     Used Available Use% Mounted on
udev                      6064968        0   6064968   0% /dev
tmpfs                     1218200     9932   1208268   1% /run
/dev/sda7               103078048 16478628  81340172  17% /
tmpfs                     6090992   408144   5682848   7% /dev/shm
tmpfs                        5120        4      5116   1% /run/lock
tmpfs                     6090992        0   6090992   0% /sys/fs/cgroup
/dev/sda2                   98304    29291     69013  30% /boot/efi
/dev/sda8               103078048 50012384  47806416  52% /home
tmpfs                     1218196      172   1218024   1% /run/user/1000
/home/matthias/.Private 103078048 50012384  47806416  52% /home/matthias
/dev/mapper/veracrypt1  204799740 59161584 145638156  29% /media/veracrypt1
/dev/mapper/veracrypt2   52428544 44647808   7780736  86% /media/veracrypt2