Mural painting and decoration, German--18th century