mensakoblenz: code cleanup