many mount points of external devices remain (probably not deleted on shutdown)

[Michael Mueller]

Looking in my /media/michael/ folder, I've got a bunch of useless directories. I assume they are not deleted during shutdown (unplugging while running the system works fine and deletes the directory)

$ ls -alh
insgesamt 88K
drwxr-x---+ 21 root root 4,0K Sep 6 00:07 .
drwxr-xr-x 4 root root 4,0K Sep 4 17:53 ..
drwx------ 2 root root 4,0K Sep 4 17:50 Extern500GB
drwx------ 2 root root 4,0K Sep 4 18:09 Extern500GB1
drwx------ 2 root root 4,0K Sep 4 21:56 Extern500GB2
drwx------ 2 root root 4,0K Sep 5 01:16 Extern500GB3
drwx------ 2 root root 4,0K Sep 5 10:04 Extern500GB4
drwxrwxrwx 12 michael users 4,0K Mär 4 2012 Extern500GB5
drwx------ 2 root root 4,0K Sep 4 17:50 Helpers500
drwx------ 2 root root 4,0K Sep 4 18:09 Helpers5001
drwx------ 2 root root 4,0K Sep 4 21:56 Helpers5002
drwx------ 2 root root 4,0K Sep 5 01:16 Helpers5003
drwx------ 2 root root 4,0K Sep 5 10:04 Helpers5004
drwx------ 7 michael michael 4,0K Jan 1 1970 Helpers5005
drwx------ 2 root root 4,0K Sep 4 15:55 STICKKI16GB
drwx------ 2 root root 4,0K Sep 4 17:42 STICKKI16GB1
drwx------ 2 root root 4,0K Sep 4 18:09 STICKKI16GB2
drwx------ 2 root root 4,0K Sep 4 21:56 STICKKI16GB3
drwx------ 2 root root 4,0K Sep 5 01:16 STICKKI16GB4
drwx------ 2 root root 4,0K Sep 5 10:04 STICKKI16GB5
drwx------ 2 michael michael 8,0K Jan 1 1970 STICKKI16GB6