Puzzles solved by Johann