What German engineering students do in their free time