Wie viele Fachwerkhäuser gibt es in Deutschland?