function mail_addr(user) {
	switch (user) {
		case "webmaster":
			addr = "webmaster";
			host = "kleinebuehneettlingen";
			break;
		default:
			return false;
	}
	location.href = "mai" + "lto" + ":" + addr + "@" + host + ".de";
	return false;
};