jbrass 1634962f34 Die std:Min funktion macht genau was wir wollen.		2025-01-19 14:49:31 +01:00
..
3.30.5	Die std:Min funktion macht genau was wir wollen.	2025-01-19 14:49:31 +01:00