Misc


This is the place for all the stuff that fits nowhere else. So do not be astonished if it is higgledy-piggledy in here.