Markus Demleitner Thanks to Robert Schmidt for testing and bug reports.