hans krebs