logik-uebung-4.1