Puzzles solved by Achim Astor