Es fehlt die Angabe, seit wann der Name Kriemhildmühle üblich ist. --Historiograf 22:48, 1. Feb 2005 (CET)