Witz des Tages vom 17.07.2023