Translation additions from Markus Fischer.