Vorerst kein Badevergnügen in Linz und in den Eurothermen