Accidently deleted files

Files have been deleted due to a filesystem-bug when syncing… Will add
them back soon.