German students in Edinburgh in the summer