Eine entscheidbare Klasse von Kromformeln