Forgott to commit. Here are all files that were yet missing. Hopefully the final commit.